一个推理形式有效，当且仅当，具有此推理形式的任一推理都不会出现（）而结论假的情形。

桌子上有4只杯子，每只杯子上写着一句话，第一只杯子：“所有的杯子中都有水果糖”；第二只杯子：“本杯中有苹果”；第三只杯子：“本杯中没有巧克力”；第四只杯子：“有些杯子中没有水果糖”。如果其中只有一句真话，那么为真的是（）。

• A、所有的杯子中都有水果糖
• B、所有的杯子中都没有水果糖
• C、第二只杯子中有苹果
• D、第三只杯子中有巧克力

属于三段论第四格的有效式的有（）。

• A、EAE
• B、AAI
• C、El0
• D、AOO
• E、AAA